This is Dist-r, a local search solver for solving (weighted) Partial MaxSAT instances, and participats in MaxSAT Evaluation 2016. Running Command: ./Dist-r Author: Shaowei Cai State Key Laboratory of Computer Science, Institution of Software, Chinese Academy of Sciences Email: caisw@ios.ac.cn Brief Introduction of Dist and Dist-r ------------------------------------- Dist is a local search solver for solving (weighted) Partial MaxSAT instances, which makes effective use of the distinction between hard and soft clauses. Dist is specially designed for solving unweighted Partial MaxSAT. Dist-r is a variant of Dist, aiming to solve random (Weighted) Partial MaxSAT instances efficiently. For details about Dist, please refer to the following paper. Shaowei Cai, Chuan Luo, John Thornton, Kaile Su, "Tailing Local Search for Partial MaxSAT", AAAI-2014.